At the Edge of Design by Contract
نویسنده
چکیده
منابع مشابه
Design and Test of New Robust QCA Sequential Circuits
One of the several promising new technologies for computing at nano-scale is quantum-dot cellular automata (QCA). In this paper, new designs for different QCA sequential circuits are presented. Using an efficient QCA D flip-flop (DFF) architecture, a 5-bit counter, a novel single edge generator (SEG) and a divide-by-2 counter are implemented. Also, some types of oscillators, a new edge-t...
متن کاملContract for the formation of a bank account in Iranian law and comparative
Abstract: By creating a bank account agreement, an account is opened under the name of the applicant in the name of the bank. In accordance with the provisions of this agreement and the intention of the parties to the contract, the bank undertakes to accept all the funds the account holder or third parties intend to deposit into this account with the account holder, and, accordingly, the acco...
متن کاملAccess and Mobility Policy Control at the Network Edge
The fifth generation (5G) system architecture is defined as service-based and the core network functions are described as sets of services accessible through application programming interfaces (API). One of the components of 5G is Multi-access Edge Computing (MEC) which provides the open access to radio network functions through API. Using the mobile edge API third party analytics applications ...
متن کاملThe effect of the angle upper edge in shaped noise barriers with a T-shaped upper edge
Background and Objective: Efforts to improve the effectiveness of noise barriers have been made, including shape, aesthetics, form and gender. Therefore, the aim of this study was to investigate the effect of the angle upper edge in shaped noise barriers with a T-shaped upper edge. Materials and Methods: A 2D boundary element method (BEM) was used to predict the insertion loss of the tested ba...
متن کاملStructure of the orifice of the renal artery in the abdominal aorta in adult male dog
One of the locations of renal artery atherosclerosis is at the orifice of the renal artery, therefore thestructure of this orifice was assessed in 6 normal, adult male dogs by light microscopy (LM) andtransmission electron microscopy (TEM). For the LM study, processed tissues were embedded in paraffinand sectioned serially into 6-μm thickness. Sections were stained with orcein. For the TEM stud...
متن کامل